Congruence modularity implies cyclic terms for finite algebras

An n-ary operation f : A(n) -> A is called cyclic if it is idempotent and f(a(1), a(2), a(3), ... , a(n)) = f(a(2), a(3), ... , a(n), a(1)) for every a(1), ... , a(n) is an element of A. We prove that every finite algebra A in a congruence modular variety has a p-ary cyclic term operation for any prime p greater than vertical bar A vertical bar

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

On the Fusion of Coalgebraic Logics

Abstract. Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to transfer from the component logics to their fusion. In this paper we investigate to what extent these results can be generalised to the case of arbitrary coalgebraic logics. Our main result generalises a construction of Kracht and Wolter and confirms that completeness transfers to fusion for a large class of logics over coalgebraic semantics. This result is independent of the rank of the logics and relies on generalising the notions of distance and box operator to coalgebraic models.

Ideals in universal algebras

SIGLEDEGerman